Add argument-checking assertions to rangeset interfaces.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/rangeset.c b/xen/common/rangeset.c
index 95757a60cca32783bed51ce988386f824a5b2b81..6873002012758488a29ccb86e55efe9764f288f4 100644 (file)
--- a/xen/common/rangeset.c
+++ b/xen/common/rangeset.c
@@ -95,6 +95,8 @@ int rangeset_add_range(
     struct range *x, *y;
     int rc = 0;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
 
     x = find_range(r, s);
@@ -161,6 +163,8 @@ int rangeset_remove_range(
     struct range *x, *y, *t;
     int rc = 0;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
 
     x = find_range(r, s);
@@ -227,6 +231,8 @@ int rangeset_contains_range(
     struct range *x;
     int contains;
 
+    ASSERT(s <= e);
+
     spin_lock(&r->lock);
     x = find_range(r, s);
     contains = (x && (x->e >= e));